Flum, Jörg: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Ganzgeschlossene und prädikatengeschlossene Logiken I

Journal:

Archive for Mathematical Logic

Year:

1971

Language:

german

File:

PDF, 781 KB

german, 1971

2

The Parameterized Complexity of Counting Problems

Flum, Jörg, Grohe, Martin

Journal:

SIAM Journal on Computing

Year:

2004

Language:

english

File:

PDF, 347 KB

english, 2004

3

Hanf numbers and well-ordering numbers

Journal:

Archive for Mathematical Logic

Year:

1972

Language:

english

File:

PDF, 821 KB

english, 1972

4

Machine-based methods in parameterized complexity theory

Yijia Chen, Jörg Flum, Martin Grohe

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 349 KB

english, 2005

5

The parameterized complexity of maximality and minimality problems

Yijia Chen, Jörg Flum

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 655 KB

english, 2008

6

Games, Kernels, and Antitone Operations

Journal:

Year:

2000

Language:

english

File:

PDF, 85 KB

english, 2000

7

Some lower bounds in parameterized AC0

Chen, Yijia, Flum, Jörg

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 875 KB

english, 2019

8

Eine Formulierung des Herbrandschen Satzes ohne Skolemfunktionen

Journal:

Archive for Mathematical Logic

Year:

1971

Language:

german

File:

PDF, 384 KB

german, 1971

9

A Remark on Infinitary Languages

Journal:

Journal of Symbolic Logic

Year:

1971

Language:

english

File:

PDF, 241 KB

english, 1971

10

Bounded fixed-parameter tractability and nondeterministic bits

Jörg Flum, Martin Grohe, Mark Weyer

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 424 KB

english, 2006

11

Fixed-Parameter Tractability, Definability, and Model-Checking

Flum, Jörg, Grohe, Martin

Journal:

SIAM Journal on Computing

Year:

2001

Language:

english

File:

PDF, 334 KB

english, 2001

12

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 || Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (Extended Abstract)

Flum, Jörg, Rodriguez-Artalejo, Mario

Year:

1999

Language:

english

File:

PDF, 189 KB

english, 1999

13

Einführung in die mathematische Logik ||

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang

Year:

2018

Language:

german

File:

PDF, 2.87 MB

german, 2018

14

Describing parameterized complexity classes

Jörg Flum, Martin Grohe

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 323 KB

english, 2003

15

From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem

Chen, Yijia, Flum, Jörg

Journal:

Journal of the ACM

Year:

2012

Language:

english

File:

PDF, 268 KB

english, 2012

16

Bemerkungen über minimale Modelle

Journal:

Archive for Mathematical Logic

Year:

1972

Language:

german

File:

PDF, 225 KB

german, 1972

17

Maximale monadische Logiken

Journal:

Archive for Mathematical Logic

Year:

1985

Language:

german

File:

PDF, 384 KB

german, 1985

18

L(Q)-preservation theorems

Journal:

Journal of Symbolic Logic

Year:

1975

Language:

english

File:

PDF, 647 KB

english, 1975

19

Die Automorphismenmengen der Modelle einerLQx-Theorie

Journal:

Archive for Mathematical Logic

Year:

1972

Language:

german

File:

PDF, 196 KB

german, 1972

20

Consistency, optimality, and incompleteness

Chen, Yijia, Flum, Jörg, Müller, Moritz

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 288 KB

english, 2013

21

[Lecture Notes in Computer Science] Computer Science Logic Volume 1683 ||

Flum, Jörg, Rodriguez-Artalejo, Mario

Year:

1999

Language:

english

File:

PDF, 27.20 MB

english, 1999

22

An Extension of the Lemma of Rasiowa and Sikorski

Journal:

Mathematical Logic Quarterly

Year:

1998

Language:

english

File:

PDF, 276 KB

english, 1998

23

On Horn theories

Journal:

Mathematische Zeitschrift

Year:

1974

Language:

english

File:

PDF, 311 KB

english, 1974

24

Hard Instances of Algorithms and Proof Systems

Chen, Yijia, Flum, Jörg, Müller, Moritz

Journal:

ACM Transactions on Computation Theory

Year:

2014

Language:

english

File:

PDF, 208 KB

english, 2014

25

Bounded fixed-parameter tractability and reducibility

Rod Downey, Jörg Flum, Martin Grohe, Mark Weyer

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 386 KB

english, 2007

26

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - On the Ordered Conjecture

Chen, Yijia, Flum, Jorg

Year:

2012

Language:

english

File:

PDF, 328 KB

english, 2012

27

ON OPTIMAL INVERTERS

CHEN, YIJIA, FLUM, JÖRG

Journal:

Bulletin of Symbolic Logic

Year:

2014

Language:

english

File:

PDF, 383 KB

english, 2014

28

Query evaluation via tree-decompositions

Flum, Jörg, Frick, Markus, Grohe, Martin

Journal:

Journal of the ACM

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

29

Quantifiers and Congruence Closure

Jörg Flum, Matthias Schiehlen and Jouko Väänänen

Journal:

Year:

1999

Language:

english

File:

PDF, 2.18 MB

english, 1999

30

An analysis of the W*-hierarchy

Chen, Yijia, Flum, Jörg, Grohe, Martin

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.20 MB

english, 2007

31

On the complexity of Gödel's proof predicate

Chen, Yijia, Flum, Jörg

Journal:

Journal of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 175 KB

english, 2010

32

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - A Logic for PTIME and a Parameterized Halting Problem

Chen, Yijia, Flum, Jörg

Year:

2009

Language:

english

File:

PDF, 276 KB

english, 2009

33

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium'87, Proceedings of the Colloquium held in Granada Volume 129 || Model Theory of Regular and Compact Spaces

Year:

1989

Language:

english

File:

PDF, 471 KB

english, 1989

34

Games and total Datalog¬ queries

Jörg Flum, Max Kubierschky, Bertram Ludäscher

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 343 KB

english, 2000

35

W-Hierarchies Defined by Symmetric Gates

Michael Fellows, Jörg Flum, Danny Hermelin, Moritz Müller, Frances Rosamond

Journal:

Theory of Computing Systems

Year:

2010

Language:

english

File:

PDF, 627 KB

english, 2010

36

On topological spaces equivalent to ordinals

Flum, Jörg, Martinez, Juan Carlos

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 275 KB

english, 1988

37

Ganzgeschlossene und Prädikatengeschlossene Logiken. II

Journal:

Archive for Mathematical Logic

Year:

1971

Language:

german

File:

PDF, 458 KB

german, 1971

38

An Analysis of the W -Hierarchy

Yijia Chen, Jörg Flum and Martin Grohe

Journal:

Journal of Symbolic Logic

Year:

2007

Language:

english

File:

PDF, 1.45 MB

english, 2007

39

Pseudo-finite homogeneity and saturation

Flum, Jörg, Ziegler, Martin

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 712 KB

english, 1999

40

On miniaturized problems in parameterized complexity theory

Yijia Chen, Jörg Flum

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 338 KB

english, 2006

41

Quantifiers and Congruence Closure

Jörg Flum, Matthias Schiehlen, Jouko Väänänen

Journal:

Year:

1999

File:

PDF, 700 KB

1999

42

Lower Bounds for Kernelizations and

Yijia Chen, Jörg Flum, Moritz Müller

Journal:

Theory of Computing Systems

Year:

2011

Language:

english

File:

PDF, 1011 KB

english, 2011

43

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Tree-depth, quantifier elimination, and quantifier rank

Chen, Yijia, Flum, Jörg

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

44

Parameterized Complexityby R. G. Downey; M. R. Fellows

Review by: Jörg Flum

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 345 KB

english, 2002

45

Strong isomorphism reductions in complexity theory

Buss, Sam, Chen, Yijia, Flum, Jörg, Friedman, Sy-David, Müller, Moritz

Journal:

Journal of Symbolic Logic

Year:

2011

Language:

english

File:

PDF, 1.39 MB

english, 2011

46

On Fixed-Point Logic with Counting

Jörg Flum and Martin Grohe

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 257 KB

english, 2000

47

Downey R. G. and Fellows M. R.. Parameterized complexity . Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 84 KB

english, 2002

48

[IEEE Twenty-Second Annual IEEE Conference on Computational Complexity - San Diego, CA, USA (2007.06.13-2007.03.16)] Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07) - On Parameterized Path and Chordless Path Problems

Chen, Yijia, Flum, Jorg

Year:

2007

Language:

english

File:

PDF, 228 KB

english, 2007

49

[Springer Monographs in Mathematics] Finite Model Theory ||

Ebbinghaus, Heinz-Dieter, Flum, Jörg

Year:

1999

Language:

english

File:

PDF, 15.39 MB

english, 1999

50

Universal Classes in Infinitary Languages.by Jerome Malitz

Review by: Jörg Flum

Journal:

Journal of Symbolic Logic

Year:

1974

Language:

english

File:

PDF, 208 KB

english, 1974

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски